monotonicity axiom

单调性公理